Using Partial-Orders for Detecting Faults in Concurrent Systems

نویسندگان

  • Alexandre Petrenko
  • Andreas Ulrich
  • V. Chapenko
چکیده

The paper suggests test derivation approaches to obtain test suites for concurrent systems based on the concept of fault coverage criteria in opposition to structural test coverage criteria. Using a partial-order model, called Mazurkiewicz Trace Machine (MTM), for test derivation, the state explosion problem can be alleviated. The derived test suites are characterized by their small size compared to test suites from traditional test derivation approaches and exhibit a defined degree of fault coverage according to certain fault models. The fault models of concurrent systems considered in the paper are based on the most common faults, acceptance, refusal, and transfer faults. A scenario of test execution in concurrent systems, including a suitable test architecture, is discussed that explains the application of a test suite derived from an MTM in a test run.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fault diagnosis in a distillation column using a support vector machine based classifier

Fault diagnosis has always been an essential aspect of control system design. This is necessary due to the growing demand for increased performance and safety of industrial systems is discussed. Support vector machine classifier is a new technique based on statistical learning theory and is designed to reduce structural bias. Support vector machine classification in many applications in v...

متن کامل

An approach to fault detection and correction in design of systems using of Turbo ‎codes‎

We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...

متن کامل

Detection of power oscillation and simultaneous faults using Clark transform

Distance relays are widely used to protect transmission lines. Sometimes, in these lines due to the occurrence of the oscillation of the power, the impedance calculated in the distance relay enters into its functional zones and leads to the cutting off of the lines. This issue can cause global power outages. Accordingly, in this paper, a Clark-based method for detecting the oscillation of power...

متن کامل

Maximum Power Point Tracker for Photovoltaic Systems Based on Moth-Flame Optimization Considering Partial Shading Conditions

The performance of photovoltaic (PV) systems is highly dependent on environmental conditions. Due to probable changes in environmental conditions, the real-time control of PV systems is essential for exploiting their maximum possible power. This paper proposes a new method to track the maximum power point of PV systems using the moth-flame optimization algorithm. In this method, the PV DC-DC co...

متن کامل

Concurrent Logic Games on Partial Orders

Most games for analysing concurrent systems are played on interleaving models, such as graphs or infinite trees. However, several concurrent systems have partial order models rather than interleaving ones. As a consequence, a potentially algorithmically undesirable translation from a partial order setting to an interleaving one is required before analysing them with traditional techniques. In o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998